Optimal. Leaf size=39 \[ \frac{2}{9} x^{9/2} (a B+A b)+\frac{2}{3} a A x^{3/2}+\frac{2}{15} b B x^{15/2} \]
[Out]
_______________________________________________________________________________________
Rubi [A] time = 0.0560962, antiderivative size = 39, normalized size of antiderivative = 1., number of steps used = 2, number of rules used = 1, integrand size = 20, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.05 \[ \frac{2}{9} x^{9/2} (a B+A b)+\frac{2}{3} a A x^{3/2}+\frac{2}{15} b B x^{15/2} \]
Antiderivative was successfully verified.
[In] Int[Sqrt[x]*(a + b*x^3)*(A + B*x^3),x]
[Out]
_______________________________________________________________________________________
Rubi in Sympy [A] time = 6.27942, size = 41, normalized size = 1.05 \[ \frac{2 A a x^{\frac{3}{2}}}{3} + \frac{2 B b x^{\frac{15}{2}}}{15} + x^{\frac{9}{2}} \left (\frac{2 A b}{9} + \frac{2 B a}{9}\right ) \]
Verification of antiderivative is not currently implemented for this CAS.
[In] rubi_integrate((b*x**3+a)*(B*x**3+A)*x**(1/2),x)
[Out]
_______________________________________________________________________________________
Mathematica [A] time = 0.0191043, size = 33, normalized size = 0.85 \[ \frac{2}{45} x^{3/2} \left (5 x^3 (a B+A b)+15 a A+3 b B x^6\right ) \]
Antiderivative was successfully verified.
[In] Integrate[Sqrt[x]*(a + b*x^3)*(A + B*x^3),x]
[Out]
_______________________________________________________________________________________
Maple [A] time = 0.006, size = 32, normalized size = 0.8 \[{\frac{6\,bB{x}^{6}+10\,A{x}^{3}b+10\,B{x}^{3}a+30\,Aa}{45}{x}^{{\frac{3}{2}}}} \]
Verification of antiderivative is not currently implemented for this CAS.
[In] int((b*x^3+a)*(B*x^3+A)*x^(1/2),x)
[Out]
_______________________________________________________________________________________
Maxima [A] time = 1.36541, size = 36, normalized size = 0.92 \[ \frac{2}{15} \, B b x^{\frac{15}{2}} + \frac{2}{9} \,{\left (B a + A b\right )} x^{\frac{9}{2}} + \frac{2}{3} \, A a x^{\frac{3}{2}} \]
Verification of antiderivative is not currently implemented for this CAS.
[In] integrate((B*x^3 + A)*(b*x^3 + a)*sqrt(x),x, algorithm="maxima")
[Out]
_______________________________________________________________________________________
Fricas [A] time = 0.229242, size = 41, normalized size = 1.05 \[ \frac{2}{45} \,{\left (3 \, B b x^{7} + 5 \,{\left (B a + A b\right )} x^{4} + 15 \, A a x\right )} \sqrt{x} \]
Verification of antiderivative is not currently implemented for this CAS.
[In] integrate((B*x^3 + A)*(b*x^3 + a)*sqrt(x),x, algorithm="fricas")
[Out]
_______________________________________________________________________________________
Sympy [A] time = 4.9497, size = 37, normalized size = 0.95 \[ \frac{2 A a x^{\frac{3}{2}}}{3} + \frac{2 B b x^{\frac{15}{2}}}{15} + \frac{2 x^{\frac{9}{2}} \left (A b + B a\right )}{9} \]
Verification of antiderivative is not currently implemented for this CAS.
[In] integrate((b*x**3+a)*(B*x**3+A)*x**(1/2),x)
[Out]
_______________________________________________________________________________________
GIAC/XCAS [A] time = 0.213066, size = 39, normalized size = 1. \[ \frac{2}{15} \, B b x^{\frac{15}{2}} + \frac{2}{9} \, B a x^{\frac{9}{2}} + \frac{2}{9} \, A b x^{\frac{9}{2}} + \frac{2}{3} \, A a x^{\frac{3}{2}} \]
Verification of antiderivative is not currently implemented for this CAS.
[In] integrate((B*x^3 + A)*(b*x^3 + a)*sqrt(x),x, algorithm="giac")
[Out]